Computer Science: Polynomial Time Reducible Explanation